Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
481	MULTIZETA VALUES FOR Fq [t], THEIR PERIOD INTERPRETATION AND RELATIONS BETWEEN THEM GREG W. ANDERSON AND DINESH S. THAKUR Add to Reading List Source URL: www.math.umn.edu Language: English - Date: 2009-02-06 15:01:37 Analytic number theory Meromorphic functions Riemann zeta function Algebraic number field Motive Transcendental number Abstract algebra Mathematical analysis Mathematics
482	Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler∗ Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A. Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2005-06-09 19:14:00 Data types Procedural programming languages C Standard Library Type theory Abstract interpretation Symbolic execution Printf format string C ALGOL 68 Computing Software engineering Computer programming
483	EXE: A System for Automatically Generating Inputs of Death Using Symbolic Execution Cristian Cadar, Paul Twohey, Vijay Ganesh, Dawson Engler Stanford University Computer Systems Laboratory {cristic, twohey, vganesh, engl Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2006-03-02 02:20:53 Data types Abstract interpretation Symbolic execution C++ Pointer C Type system Buffer overflow Sizeof Computing Software engineering Computer programming
484	KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs Cristian Cadar, Daniel Dunbar, Dawson Engler ∗ Stanford University Abstract Add to Reading List Source URL: hci.stanford.edu Language: English - Date: 2008-05-27 14:37:34 Software testing C POSIX library Abstract interpretation Symbolic execution Klee Main function Code coverage Library Constraint programming Software engineering Computing Computer programming
485	Notes on Model Checking and Abstraction in Rewriting Logic∗ Jos´e Meseguer Miguel Palomino Add to Reading List Source URL: maude.cs.uiuc.edu Language: English - Date: 2004-08-30 16:16:42 Deduction Linear temporal logic Algebraic topology Model checking Entailment Admissible rule Abstract interpretation Kripke structure Interpretation Logic Mathematical logic Temporal logic
486	Penultimate draft (March 2013). Forthcoming in Studies in History and Philosophy of Science. Making the Abstract Concrete: The Role Of Norms And Values In Experimenta Add to Reading List Source URL: ipeschard.free.fr Language: English - Date: 2013-07-24 13:43:23 Philosophy of science Interpretation Scientific modelling Scientific method Conceptual model Scientific theory Economic model Abstraction Entity-relationship model Science Ethology Mind
487	The Language of Social Software Abstract Computer software is written in languages like C, Java or Haskell. In many cases social software is expressed in natural language. The paper explores connections between the area Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:13:00 Mathematics Interpretation Philosophy of language Philosophy of mind Semantics Constructible universe Golden ratio Philosophy of mathematics Linear temporal logic Model theory Formal languages Logic
488	Logic of Information Flow on Communication Channels (Extended Abstract) Yanjing Wang ∗ Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2011-01-23 16:49:28 Formal languages Model theory Artificial intelligence Epistemic modal logic Modal logic Interpretation Golden ratio Constructible universe Common knowledge Logic Mathematical logic Mathematics
489	Edward N. Zalta A Common Ground and Some Surprising Connections∗ Edward N. Zalta Center for the Study of Language and Information Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2013-11-17 15:00:37 Abstraction Edward N. Zalta Logicians Metaphysicians Alexius Meinong Abstract object Edmund Husserl Object theory Interpretation Philosophy Metaphysics Ontology
490	Dimensions in Special Relativity Theory a Euclidean Interpretation* R.F.J. van Linden Smeetsstraat 56, 6171 VD Stein, NETHERLANDS e-mail [removed], web http://www.euclideanrelativity.com September 2005 Abstract Add to Reading List Source URL: www.euclideanrelativity.com Language: English - Date: 2007-01-23 13:39:17 Dimension Minkowski spacetime Motion Introductory physics Introduction to special relativity Four-vector Velocity Lorentz transformation Momentum Physics Relativity Special relativity

UPDATE